Cantone, Domenico: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Yet Another Proof Without Words of the Pythagorean Theorem

Cantone, Domenico

Journal:

Mathematics Magazine

Year:

2020

File:

PDF, 722 KB

2020

2

Dual tableau-based decision procedures for relational logics with restricted composition operator

Cantone, Domenico, Asmundo, Marianna Nicolosi, Orlowska, Ewa

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 258 KB

english, 2011

3

Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm

Domenico Cantone, Simone Faro

Journal:

Electronic Notes in Discrete Mathematics

Year:

2004

Language:

english

File:

PDF, 199 KB

english, 2004

4

Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates

Domenico Cantone, Gianluca Cincotti, Giovanni Gallo

Journal:

Journal of Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 510 KB

english, 2006

5

Fast shortest-paths algorithms in the presence of few destinations of negative-weight arcs

Cantone, Domenico, Faro, Simone

Journal:

Journal of Discrete Algorithms

Year:

2014

Language:

english

File:

PDF, 275 KB

english, 2014

6

An Introduction to the Technique of Formative Processes in Set Theory ||

Cantone, Domenico, Ursino, Pietro

Year:

2018

Language:

english

File:

PDF, 2.38 MB

english, 2018

7

Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x}

Domenico Cantone, Alfredo Ferro, Giuseppe Sorace, Biagio Micale

Journal:

Communications on Pure and Applied Mathematics

Year:

1987

Language:

english

File:

PDF, 1.75 MB

english, 1987

8

Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison

Domenico Cantone, Vincenzo Cutello

Journal:

Communications on Pure and Applied Mathematics

Year:

1994

Language:

english

File:

PDF, 899 KB

english, 1994

9

Techniques of computable set theory with applications to proof verification

Domenico Cantone, Alfredo Ferro

Journal:

Communications on Pure and Applied Mathematics

Year:

1995

Language:

english

File:

PDF, 2.12 MB

english, 1995

10

The automation of syllogistic I. Syllogistic normal forms

Domenico Cantone, Susanna Ghelfo, Eugenio Omodeo

Journal:

Journal of Symbolic Computation

Year:

1988

Language:

english

File:

PDF, 916 KB

english, 1988

11

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 254 KB

english, 2004

12

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 384 KB

english, 2005

13

A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux

Domenico Cantone, Marianna Nicolosi-Asmundo

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 630 KB

english, 2007

14

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions

Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 779 KB

english, 2003

15

Effects of pregnancy on glomerular dynamics: Micropuncture study in the rat

Canton, Antonio Dal, Conte, Giuseppe, Esposito, Ciro, Fuiano, Giorgio, Guasco, Raffaele, Russo, Domenico, Sabbatini, Massimo, Uccello, Francesco, Andreucci, Vittorio E

Journal:

Kidney International

Year:

1982

File:

PDF, 506 KB

1982

16

Renal handling of urea in subjects with persistent azotemia and normal renal function

Conte, Giuseppe, Dal Canton, Antonio, Terribile, Maurizio, Cianciaruso, Bruno, Di Minno, Giovanni, Pannain, Mario, Russo, Domenico, Andreucci, Vittorio E

Journal:

Kidney International

Year:

1987

File:

PDF, 1.90 MB

1987

17

Acute cyclosporine renal dysfunction reversed by dopamine infusion in healthy subjects

Conte, Giuseppe, Canton, Antonio Dal, Sabbatini, Massimo, Napodano, Pietro, De Nicola, Luca, Gigliotti, Giuseppe, Fuiano, Giorgio, Testa, Angelo, Esposito, Ciro, Russo, Domenico

Journal:

Kidney International

Year:

1989

Language:

english

File:

PDF, 613 KB

english, 1989

18

Extra-natriuretic effects of atrial peptide in humans

Nicola, Luca De, Romano, Giulio, Memoli, Bruno, Cianciaruso, Bruno, Sabbatini, Massimo, Russo, Domenico, Caglioti, Alfredo, Fuiano, Giorgio, Canton, Antonio Dal, Conte, Giuseppe

Journal:

Kidney International

Year:

1993

Language:

english

File:

PDF, 738 KB

english, 1993

19

Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators

Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 312 KB

english, 2002

20

A compact representation of nondeterministic (suffix) automata for the bit-parallel approach

Domenico Cantone, Simone Faro, Emanuele Giaquinta

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 202 KB

english, 2012

21

On the bit-parallel simulation of the nondeterministic Aho–Corasick and suffix automata for a set of patterns

Domenico Cantone, Simone Faro, Emanuele Giaquinta

Journal:

Journal of Discrete Algorithms

Year:

2012

Language:

english

File:

PDF, 241 KB

english, 2012

22

Efficient string-matching allowing for non-overlapping inversions

Cantone, Domenico, Cristofaro, Salvatore, Faro, Simone

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 702 KB

english, 2013

23

[Monographs in Computer Science] Set Theory for Computing ||

Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto

Year:

2001

Language:

english

File:

PDF, 35.35 MB

english, 2001

24

Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate

Cantone, Domenico, Ursino, Pietro

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

25

SEL1L Affects Human Pancreatic Cancer Cell Cycle and Invasiveness through Modulation of PTEN and Genes Related to Cell-Matrix Interactions

Cattaneo, Monica, Fontanella, Enrico, Canton, Cristina, Delia, Domenico, Biunno, Ida

Journal:

Year:

2005

Language:

english

File:

PDF, 407 KB

english, 2005

26

A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions

Cantone, Domenico, Longo, Cristiano

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

27

Further analysis of the remedian algorithm

Cantone, Domenico, Hofri, Micha

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 435 KB

english, 2013

28

Text searching allowing for inversions and translocations of factors

Cantone, Domenico, Faro, Simone, Giaquinta, Emanuele

Journal:

Discrete Applied Mathematics

Year:

2014

Language:

english

File:

PDF, 468 KB

english, 2014

29

Improved and self-tuned occurrence heuristics

Cantone, Domenico, Faro, Simone

Journal:

Journal of Discrete Algorithms

Year:

2014

Language:

english

File:

PDF, 439 KB

english, 2014

30

A combined greedy-walk heuristic and simulated annealing approach for the closest string problem

Pappalardo, Elisa, Cantone, Domenico, Pardalos, Panos M.

Journal:

Optimization Methods and Software

Year:

2014

Language:

english

File:

PDF, 338 KB

english, 2014

31

PATTERN MATCHING WITH SWAPS IN PRACTICE

CAMPANELLI, MATTEO, CANTONE, DOMENICO, FARO, SIMONE, GIAQUINTA, EMANUELE

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 304 KB

english, 2012

32

NEW EFFICIENT BIT-PARALLEL ALGORITHMS FOR THE (δ, α)-MATCHING PROBLEM WITH APPLICATIONS IN MUSIC INFORMATION RETRIEVAL

CANTONE, DOMENICO, CRISTOFARO, SALVATORE, FARO, SIMONE

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 323 KB

english, 2009

33

A SPACE EFFICIENT BIT-PARALLEL ALGORITHM FOR THE MULTIPLE STRING MATCHING PROBLEM

CANTONE, DOMENICO, FARO, SIMONE

Journal:

International Journal of Foundations of Computer Science

Year:

2006

Language:

english

File:

PDF, 931 KB

english, 2006

34

ON SOME COMBINATORIAL PROBLEMS CONCERNING THE HARMONIC STRUCTURE OF MUSICAL CHORD SEQUENCES

CANTONE, DOMENICO, CRISTOFARO, SALVATORE, FARO, SIMONE

Journal:

International Journal of Foundations of Computer Science

Year:

2008

Language:

english

File:

PDF, 1.16 MB

english, 2008

35

ADAPTING BOYER-MOORE-LIKE ALGORITHMS FOR SEARCHING HUFFMAN ENCODED TEXTS

CANTONE, DOMENICO, FARO, SIMONE, GIAQUINTA, EMANUELE

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

36

Computational Logic and Set Theory ||

Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.

Year:

2011

Language:

english

File:

PDF, 3.12 MB

english, 2011

37

[ACM Press the 1993 international symposium - Kiev, Ukraine (1993.07.06-1993.07.08)] Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 - Decision procedures for stratified set-theoretic syllogistics

Cantone, Domenico, Cutello, Vincenzo

Year:

1993

Language:

english

File:

PDF, 485 KB

english, 1993

38

Effects of Uremia, Acetate and Bicarbonate Dialysis on Beta-Adrenergic Responsiveness as Assessed by Epinephrine-Stimulated Adenylate Cyclase

Fuiano, Giorgio, Canton, Antonio Dal, Maj, Mario, Testa, Angelo, Memoli, Bruno, Conte, Giuseppe, Ariano, Maria Grazia, Guarriello, Luigi, Russo, Domenico, Andreucci, Vittorio E.

Journal:

American Journal of Nephrology

Year:

1989

File:

PDF, 1.17 MB

1989

39

Upregulation of the immunoproteasome in peripheral blood mononuclear cells of patients with IgA nephropathy

Coppo, Rosanna, Camilla, Roberta, Alfarano, Alda, Balegno, Sabrina, Mancuso, Domenico, Peruzzi, Licia, Amore, Alessandro, Dal Canton, Antonio, Sepe, Vincenzo, Tovo, Pierangelo

Journal:

Kidney International

Year:

2009

Language:

english

File:

PDF, 161 KB

english, 2009

40

The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations

Cantone, Domenico, Nicolosi-Asmundo, Marianna

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

41

(m,n

Cantone, Domenico, Giarlotta, Alfio, Greco, Salvatore, Watson, Stephen

Journal:

Journal of Mathematical Psychology

Year:

2016

Language:

english

File:

PDF, 584 KB

english, 2016

42

A graphical representation of relational formulae with complementation

Cantone, Domenico, Formisano, Andrea, Asmundo, Marianna Nicolosi, Omodeo, Eugenio Giovanni

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 433 KB

english, 2012

43

Learning in Description Logics with Fuzzy Concrete Domains

Lisi, Francesca A., Straccia, Umberto, Cantone, Domenico, Asmundo, Marianna Nicolosi, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2015

Language:

english

File:

PDF, 283 KB

english, 2015

44

Herbrand-satisfiability of a Quantified Set-theoretic Fragment*

Cantone, Domenico, Longo, Cristiano, Nicolosi-Asmundo, Marianna, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian Luca

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 417 KB

english, 2017

45

Effects of Furosemide Therapy on Free-Water Excretion in Uremic Patients

Conte, Giuseppe, Fuiano, Giorgio, Sabbatini, Massimo, Terribile, Maurizio, Federico, Stefano, Russo, Domenico, Dal Canton, Antonio

Journal:

Year:

1988

Language:

english

File:

PDF, 1.18 MB

english, 1988

46

Clinical and electrophysiological impact of repetitive low-frequency transcranial magnetic stimulation on the sensory–motor network in patients with restless legs syndrome

Lanza, Giuseppe, Cantone, Mariagiovanna, Aricò, Debora, Lanuzza, Bartolo, Cosentino, Filomena Irene Ilaria, Paci, Domenico, Papotto, Maurizio, Pennisi, Manuela, Bella, Rita, Pennisi, Giovanni, Paulus,

Journal:

Therapeutic Advances in Neurological Disorders

Year:

2018

Language:

english

File:

PDF, 482 KB

english, 2018

47

Congruence relations on a choice space

Cantone, Domenico, Giarlotta, Alfio, Watson, Stephen

Journal:

Social Choice and Welfare

Year:

2018

Language:

english

File:

PDF, 879 KB

english, 2018

48

Games, automata, logics and formal verification (GandALF 2016)

Cantone, Domenico, Delzanno, Giorgio

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 139 KB

english, 2018

49

Nondeterministic Programming in Java with JSetL

Rossi, Gianfranco, Bergenti, Federico, Cantone, Domenico, Asmundo, Marianna Nicolosi, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2015

Language:

english

File:

PDF, 233 KB

english, 2015

50

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation*

Bistarelli, Stefano, Rossi, Fabio, Santini, Francesco, Cantone, Domenico, Asmundo, Marianna Nicolosi, Pettorossi, Alberto

Journal:

Fundamenta Informaticae

Year:

2015

Language:

english

File:

PDF, 711 KB

english, 2015